Context and Contract (PRELIMINARY VERSION OF A PAPER TO BE PUBLISHED IN A VOLUME EDITED BY BOUQUET AND SERAFINI FOR CSLI PUBLICATIONS)
نویسنده
چکیده
منابع مشابه
Comparing formal theories of context in AI
The problem of context has a long tradition in different areas of artificial intelligence (AI). However, formalizing context has been widely discussed only since the late 80s, when J. McCarthy argued that formalizing context was a crucial step toward the solution of the problem of generality. Since then, two main formalizations have been proposed in AI: Propositional Logic of Context (PLC) and ...
متن کاملTwo Formalizations of Context: A Comparison
We investigate the relationship between two well known t'ormalizations of context: Prσpofiitional Lυ(μc, of Context (PLC) [4]. and Local Models Semantic* (LMS) [11]We start with a summary of the desiderata for a logic of context, mainly inspired by McCarthy s paper on generality in AI [15] and his notes on formalizing context [16]. We briefly present LMS, and its automatization using MultiConte...
متن کاملIntroducing Context into RDF Knowledge Bases
Large-scale knowledge representation (KR) with RDF unveils shortcomings which become obvious when facts have to be further qualified with contextual aspects to represent anything else but simplistic binary predicates. Motivated by requirements in the Vikef project, in which we are required to store a large amount of information extracted from a heterogeneous set of documents and encoded in RDF ...
متن کاملContextualizing ontologies
Ontologies are shared models of a domain that encode a view which is common to a set of different parties. Contexts are local models that encode a party’s subjective view of a domain. In this paper we show how ontologies can be contextualized, thus acquiring certain useful properties that a pure shared approach cannot provide. We say that an ontology is contextualized or, also, that it is a con...
متن کاملWorking notes of the ISWC-04 Workshop on Meaning Coordination and Negotiation (MCN-04)
We address the problem of semantic coordination, namely finding an agreement between the meanings of heterogeneous semantic models. We propose a new approximation method to discover and assess the “strength” (preciseness) of semantic mappings between concepts from different concept hierarchies. We apply this method in the music domain. We present the results of preliminary tests on mapping two ...
متن کامل